University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
81	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
82	A Generative Model for User Simulation in a Spatial Navigation Domain Aciel Eshky1 , Ben Allison2 , Subramanian Ramamoorthy1 , and Mark Steedman1 1 School of Informatics, University of Edinburgh, UK 2 Actual Analytics Lt Add to Reading List Source URL: rad.inf.ed.ac.uk Language: English - Date: 2014-05-18 15:04:39 Computational linguistics Dialog manager Humancomputer interaction Speech recognition Dialog system Bayesian network Linguistics
83	Informatics 1 Cognitive Science (2014–2015) School of Informatics, University of Edinburgh Mirella Lapata Quiz 2: Perceptrons and Multilayer Perceptrons 1. Which one of the following is the perceptron’s input functio Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-11 08:43:44 Artificial neural networks Functions and mappings Computational neuroscience Multilayer perceptron Perceptron Function Connectionism Graph of a function Computable function Feedforward neural network
84	Informatics 1 Cognitive Science (2015–2016) School of Informatics, University of Edinburgh Mirella Lapata Quiz 2: Perceptrons and Multilayer Perceptrons 1. Which one of the following is the perceptron’s input functio Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-11 08:41:30 Artificial neural networks Computational neuroscience Multilayer perceptron Perceptron Connectionism Function Backpropagation Feedforward neural network
85	Advances in Programming Languages APL2: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-13 20:05:55 Functional languages Object-oriented programming languages Programming paradigms Concurrent programming languages APL Haskell Mixin Glasgow Haskell Compiler Concurrent computing Assignment Scala Functional programming
86	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
87	Towards automatic detection of reported speech in dialogue using prosodic cues Alessandra Cervone1 , Catherine Lai1 , Silvia Pareti1 ,2 , Peter Bell1 1 School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Add to Reading List Source URL: www.cstr.inf.ed.ac.uk Language: English - Date: 2015-09-29 11:06:25 Phonology Phonetics Prosody Systemic functional linguistics Prosodic unit Intonation Formulaic language International Phonetic Alphabet Speech recognition Bootstrapping Dysprosody
88	Regular and Irregular Verbs: Part 1 Informatics 1 CG: Lecture 3 Mirella Lapata School of Informatics University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-01-14 16:35:58 Regular and irregular verbs Grammatical tense Verb Words and Rules Past tense Participle
89	Learning Syntactic Categories Informatics 1 CG: Lecture 10 Mirella Lapata School of Informatics University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-02 06:56:46 Grammar Parts of speech Noun Syntactic category Verb Deverbal noun Bootstrapping
90	An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Proof theory Deductive reasoning Logic programming Soundness

UPDATE